$\forall$$n$:$\mathbb{N}$. CoPrime(fib($n$),fib($n$+1))